Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
401	ECE 561: HW/SW Design of Embedded Systems IN OUT Add to Reading List Source URL: www.engr.colostate.edu Language: English - Date: 2009-01-05 17:49:10 SystemC Embedded system Field-programmable gate array Fault-tolerant design Integrated circuit design Software design Electronic system-level design and verification Advanced Learning and Research Institute Electronic engineering Electronics Hardware description languages
402	Software Dataplane Verification Mihai Dobrescu and Katerina Argyraki, École Polytechnique Fédérale de Lausanne https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/dobrescu This paper is included i Add to Reading List Source URL: www.usenix.org Language: English - Date: 2015-05-03 07:47:13 Packet Processing Pipeline Stack Parallel computing Symbolic execution KeY Microarchitecture Computing Computer architecture Inter-process communication
403	Independent Verification & Validation Verification Solutions for Aerospace and Defense Programs Delivering the highest quality and most costeffective IV&V solutions Add to Reading List Source URL: www.ensco.com Language: English - Date: 2013-03-05 14:25:02 Technology Systems science Barcodes Radio-frequency identification Traceability Software development Verification and validation Verification DO-178B Systems engineering Software testing Software engineering
404	Civil Certification Services Ensuring FAA Compliant Safety-Critical Software and Hardware ENSCO, a recognized leader in providing DO-178C, DO-254, DO-278A and other safety-critical commercial and military solutions, brin Add to Reading List Source URL: www.ensco.com Language: English - Date: 2015-05-04 16:15:20 Safety Computing Technology Software requirements DO-178C DO-254 ENSCO Inc. Professional certification Verification Avionics Embedded systems Electronics
405	Ms Clara Lo’s Report on Singapore Workshop 2013 I was very excited and delighted when I received the email from Ms Anna Tan, on behalf of Prof Y M Dennis Lo (Chairman of Grants and Award Committee, Hong Kong Society of Add to Reading List Source URL: www.medicine.org.hk Language: English - Date: 2014-06-18 02:13:44 Quality management Clinical research Quality Validation Quality assurance Quality management system AOAC International Software development process Verification and validation Pharmaceutical industry Science Validity
406	REQUEST FOR VERIFICATION LETTER TO BE COMPLETED BY STUDENT: STUDENT NAME: ______________________________________________________________________ STUDENT ID: ______________________________________________________________ Add to Reading List Source URL: www.ucdenver.edu Language: English - Date: 2014-12-19 16:26:41 Computing Technology Learning Discontinued software Registrar Email
407	ENROLLMENT VERIFICATION REQUEST PART I: STUDENT INFORMATION First Name Last Name Add to Reading List Source URL: www.ucdenver.edu Language: English - Date: 2014-08-07 12:05:58 Discontinued software Registrar Academic term
408	Avionics Software Unit Testing Services Customer Inputs Add to Reading List Source URL: www.ensco.com Language: English - Date: 2014-10-06 14:01:45 Software DO-178C ENSCO Inc. Reliability engineering Test automation Unit testing Test plan Quality assurance Software verification Software testing Software development Technology
409	Microsoft Word - ENrequisiti_pf.rtf Add to Reading List Source URL: www.nic.it Language: English - Date: 2009-11-05 04:01:03 Verification CNR Domain name Requirement System software Software Systems engineering
410	Avionics RTCA DO-254 Services E Add to Reading List Source URL: www.ensco.com Language: English - Date: 2014-05-02 16:07:48 Technology Software requirements Electronic design DO-254 ENSCO Inc. Electromagnetism Verification Requirement DO-178C Avionics Electronics Embedded systems

UPDATE